Computability theory - PDFSEARCH.IO - Document Search Engine

Computability theory
Results: 1231

#	Item
451	A SYSTEM FOR INCREMENTAL LEARNING BASED ON ALGORITHMIC PROBABILITY Ray J. Solomonoff ∗ Computer Learning Research Center Royal Holloway, University of London Mailing Address: P.O.B, Cambridge, Ma, U.S.A. Add to Reading List Source URL: world.std.com Language: English - Date: 2014-09-17 03:58:53 Artificial intelligence Algorithmic information theory Theory of computation Ray Solomonoff Computability theory Algorithm Computational complexity theory Complexity NP Theoretical computer science Applied mathematics Mathematics
452	Resource Bound Certification Karl Crary Stephanie Weirich Carnegie Mellon University Add to Reading List Source URL: www.seas.upenn.edu Language: English - Date: 2014-07-10 05:49:28 Computability theory Deduction Proof theory Entailment Logical consequence Metalogic Ordinal number Lambda calculus Ordinal arithmetic Logic Mathematical logic Mathematics
453	System T and the Product of Selection Functions Martín Escardó1 , Paulo Oliva2 , and Thomas Powell2 1 University of Birmingham Department of Computer Science Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2011-06-20 06:36:33 Proof theory Computability theory Functions and mappings Theory of computation Dialectica interpretation Function Primitive recursive function Peano axioms Well-founded relation Mathematics Mathematical logic Logic
454	Noname manuscript No. (will be inserted by the editor) Relational Analysis of (Co)inductive Predicates, (Co)algebraic Datatypes, and (Co)recursive Functions Jasmin Christian Blanchette Add to Reading List Source URL: www21.in.tum.de Language: English - Date: 2015-01-25 16:18:54 Model theory Computability theory Functions and mappings Models of computation Functional languages Lambda calculus Interpretation Function First-order logic Mathematical logic Mathematics Logic
455	On the (Im)possibility of Obfuscating Programs∗ Boaz Barak† Oded Goldreich‡ Amit Sahaik Add to Reading List Source URL: www.wisdom.weizmann.ac.il Language: English - Date: 2010-07-29 14:23:20 Computability theory Complexity classes Models of computation Theory of computation Obfuscated code Algorithm Oracle machine Pseudorandom function family Computability Theoretical computer science Applied mathematics Computational complexity theory
456	Notes from the logbook of a proof-checher’s project? Domenico Cantone1 , Eugenio G. Omodeo2 , Jacob T. Schwartz3 , Pietro Ursino1 1 3 Add to Reading List Source URL: www.multimedialibrary.com Language: English - Date: 2014-03-05 10:47:18 Function Injective function Constructible universe Computability theory Μ-recursive function Fréchet derivative Mathematics Mathematical analysis Functions and mappings
457	The Ref proof-checker and its “common shared scenario” Eugenio G. Omodeo December 3, 2011 · · · l’histoire g´eologique nous montre que la vie n’est qu’un court ´episode entre deux ´eternit´es de mort, et Add to Reading List Source URL: www.multimedialibrary.com Language: English - Date: 2014-03-05 08:24:18 Function Automata theory Computability theory Theory of computation COMPASS/Sample Code IIHF World U18 Championships – Division II Mathematics Functions and mappings Constructible universe
458	The Probability of “Undefined” (Non–Converging) Output in Generating the Universal Probability Distribution Ray J. Solomonoff Visiting Professor, Computer Learning Research Centre Royal Holloway, University of Lond Add to Reading List Source URL: world.std.com Language: English - Date: 2014-09-18 21:27:10 Computability theory Descriptive complexity Kolmogorov complexity Kullback–Leibler divergence Universal Turing machine Normalizing constant Theoretical computer science Statistics Applied mathematics
459	slide 2 gaius slide 1 gaius Add to Reading List Source URL: floppsie.comp.glam.ac.uk Language: English - Date: 2015-02-04 11:33:42 Programming idioms Recursion Computability theory Subroutines Theoretical computer science Fibonacci number Printf format string ALGOL 68 C++ classes Computer programming Computing Software engineering
460	Predicative Lexicographic Path Orders: Towards a Maximal Model for Primitive Recursive Functions∗ Naohi Eguchi Institute of Computer Science, University of Innsbruck, Austria Add to Reading List Source URL: www.imn.htwk-leipzig.de Language: English - Date: 2013-08-26 10:13:12 Mathematical logic Recursion Theory of computation Functions and mappings Programming idioms Primitive recursive function Well-founded relation ELEMENTARY Fold Computability theory Mathematics Theoretical computer science

UPDATE